منابع مشابه
UEL: Unification Solver for EL
UEL is a system that computes unifiers for unification problems formulated in the description logic EL. EL is a description logic with restricted expressivity, but which is still expressive enough for the formal representation of biomedical ontologies, such as the large medical ontology SNOMEDCT.We propose to use UEL as a tool to detect redundancies in such ontologies by computing unifiers of t...
متن کاملUsabilidade de Aplicações Web Móvel: Avaliando uma Nova Abordagem de Inspeção através de Estudos Experimentais
Mobile phones are becoming increasingly used to access web services. However, most of the features available in software for mobile phones are not used due to the lack of usability of the applications in these devices. In this context, usability evaluations are often avoided by developers or companies due to their lack of experience in the field. Thus, there exists growing demand to explore app...
متن کاملDe novo transcriptome assembly of a sour cherry cultivar, Schattenmorelle
Sour cherry (Prunus cerasus) in the genus Prunus in the family Rosaceae is one of the most popular stone fruit trees worldwide. Of known sour cherry cultivars, the Schattenmorelle is a famous old sour cherry with a high amount of fruit production. The Schattenmorelle was selected before 1650 and described in the 1800s. This cultivar was named after gardens of the Chateau de Moreille in which th...
متن کاملUDRB: Uma Nova Heurística Eficaz para Deduplicação de Referências Bibliográficas
Publicações cient́ıficas normalmente contêm referências bibliográficas a trabalhos anteriores. Tais referências são usadas como fonte de informação para bibliotecas digitais, contribuindo com recursos de busca, navegação e estimativa de qualidade das obras. Neste contexto, frequentemente ocorre um problema que consiste em identificar se duas referências representam uma mesma publicação, conhecid...
متن کاملUma Nova Metodologia Para Fluxos De Carga Fuzzy
During the elaboration of power system models, researchers always want to be as near as possible to reality, but the technical knowledge has been used only to determine the“worst-case”(Miranda et alli., 1990) or the best power value for the busbars. A few number of applications have been proposed to deal with information like “the voltage at node k is high”. This paper uses fuzzy numbers (bell ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Horticultura Brasileira
سال: 2013
ISSN: 0102-0536
DOI: 10.1590/s0102-05362013000300028